Nuprl Definition : sign 11,40

sign(x) == if 0 x then 1 else -1 fi  
latex


Definitionsif b then t else f fi , i j, -n, #$n
FDL editor aliasessign

origin